\documentclass[runningheads]{llncs}
\usepackage{url}
\usepackage{subfigure}
\usepackage{calc}
\usepackage{amssymb}
\usepackage{amstext}
\usepackage{amsmath}
%\usepackage{latex8}
%\usepackage{times}
%\usepackage{url}
%\usepackage{subfigure}
%\usepackage{calc}
%\usepackage{amssymb}
%\usepackage{amstext}
%\usepackage{amsmath}
%\usepackage{amsthm}
\usepackage{multirow}
\usepackage{listings}
\usepackage{color}
\lstdefinelanguage{Prologlanguage}%
  {morekeywords={entity,relation,queryjoin,member,memberchk},
   morecomment=[l];;,%
   morecomment=[s]{(:}{:)},%
   morestring=[b]",%
   morestring=[b]',%
  }[keywords,comments,strings]%

\usepackage{amsmath,amssymb,amsfonts,bbm,amsfonts,amssymb,stmaryrd,mathrsfs,sansmath,extarrows}

\newcommand{\setlistings}[2]{
  		\lstset{language=#1, basicstyle=\scriptsize, tabsize=2}  
		\lstset{rulecolor=\color{black}}
		\lstset{linewidth=\textwidth}
		\lstset{commentstyle=\textit, stringstyle=\upshape,showspaces=false}
		\lstset{showstringspaces=false}
		\lstset{frame=single,frameround=ffff}
		\lstset{numbers=left, numberstyle=\tiny, stepnumber=2, numbersep=5pt, firstnumber=#2}
		\lstset{breaklines=true}
		\lstset{escapeinside={(*@}{@*)}}
		} 
		
\newcommand{\setDefListings}[2]{
  		\lstset{language=#1, basicstyle=\scriptsize, tabsize=2}  
		\lstset{rulecolor=\color{black}}
		\lstset{linewidth=\textwidth} 
		\lstset{commentstyle=\textit, stringstyle=\upshape,showspaces=false}
		\lstset{showstringspaces=false}
		\lstset{frame=single,frameround=ffff}
		\lstset{breaklines=true}
		\lstset{escapeinside={(*@}{@*)}}
		} 

\setcounter{tocdepth}{3}
\usepackage[final,pdftex]{graphicx}
        \pdfcompresslevel=9
        \DeclareGraphicsExtensions{.png}

%\documentstyle[times,art10,twocolumn,latex8]{article}

%------------------------------------------------------------------------- 
% take the % away on next line to produce the final camera-ready version 
\pagestyle{empty}

%------------------------------------------------------------------------- 

\urldef{\mailsb}\path|{Levi.Lucio,Moussa.Amrani}@uni.lu|
\urldef{\mailsa}\path|Bruno.Barroca@di.fct.unl.pt|
\newcommand{\keywords}[1]{\par\addvspace\baselineskip \noindent\keywordname\enspace\ignorespaces#1}

\begin{document}

\mainmatter  % start of an individual contribution

% first the title is needed
\title{Modeling Modeling Language Translations: The Hows and
Whats}

% a short form should be given in case it is too long for the running head
\titlerunning{Modeling Modeling Language Translations}

% the name(s) of the author(s) follow(s) next
%
% NB: Chinese authors should write their first names(s) in front of
% their surnames. This ensures that the names appear correctly in
% the running heads and the author index.
%
\author{Levi L\'ucio$^{\dag}$ \and Bruno Barroca$^{\ddag}$ \and Moussa
Amrani$^{\dag}$ }

%\authorrunning{R. Felix \and B.Barroca \and V.Amaral \and V.Sousa}

% Just remember to make sure that the TOTAL number of authors
% is the number that will appear on the first page PLUS the
% number that will appear in the \additionalauthors section.

% (feature abused for this document to repeat the title also on left hand pages)

% the affiliations are given next; don't give your e-mail address
% unless you accept that it will be published

%
% NB: a more complex sample for affiliations and the mapping to the
% corresponding authors can be found in the file "llncs.dem"
% (search for the string "\mainmatter" where a contribution starts).
% "llncs.dem" accompanies the document class "llncs.cls".
%
\institute{
$^{\dag}$LASSY, University of Luxembourg, Luxembourg\\
$^{\ddag}$CITI, Departamento de Inform\'{a}tica, Faculdade de Ciencias e
Tecnologia\\ Universidade Nova de Lisboa, Portugal\\
\mailsb\\
\mailsa
}

\maketitle

\begin{abstract}
\input{abstract}
\end{abstract}

\section{Introduction}
\input{introduction}

\section{Running Example}
\input{runningExample}

\section{Formal Grounds}
\input{formalGrounds}

\section{The DSLTrans Transformation Language}
\input{dslTrans}

\section{Transformation Verification}
\input{verification}

\section{Verifying Transformation Verification}
\input{verifyingVerification}

\section{Conclusions}
\input{conclusions}

\bibliographystyle{plain}
\bibliography{bibliography}

\end{document}

